Taming Subsystems
نویسندگان
چکیده
The embedded and mobile computing market with its wide range of innovations is expected to remain growing in the foreseeable future. Recent developments in the embedded computing technology offer more performance thereby facilitating applications of unprecedented utility. Open systems, such as Linux, provide access to a huge software base. Nevertheless, these systems have to coexist with critical device infrastructure that insists on stringent timing and security properties. In this paper, we will present a capability-based software architecture, featuring enforceable security policies. The architecture aims to support current and future requirements of embedded computing systems, such as running versatile third-party applications on general purpose and open operating systems side by side with security sensitive programs.
منابع مشابه
Taming Linux
This paper describes the overall design, partial implementation and brief performance evaluation of a system in which Linux and its applications run besides real-time applications. The separation of the real-time and time-sharing subsystems is not restricted to the use of the CPU but enforced as well for other resources, namely main memory and caches. This paper details the changes needed for t...
متن کاملFirst as Farce, Then as Filmfarsi: Film Adaptation of Shakespeare’s The Taming of the Shrew in Iran
This article is concerned with William Shakespeare’s famous farce play The Taming of the Shrew and its Persian adaptation as an Iranian film called Gorbe ra dame Hejleh Mikoshand in 1969. The point that informs the inquiry is the way the film departs and differs from the play in relation to the issue of women within the patriarchal society. The play and the film will be examined separately in d...
متن کاملTaming Evasions in Machine Learning Based Detection Pipelines
Taming Evasions in Machine Learning Based Detection Pipelines
متن کاملTaming Webpage Complexity to Optimize User Experience on Mobile Devices
OF THE DISSERTATION Taming Webpage Complexity to Optimize User Experience on Mobile Devices
متن کاملRationally connected 3-folds and symplectic geometry
The first condition tells that ω is of type (1, 1). The last condition is called the taming condition. We will consider more generally taming symplectic forms α on X. These forms are thus non necessarily of type (1, 1) but their (1, 1)-part is positive (but not necessarily closed). Let X and Y be two complex projective or compact Kähler manifolds. The set of taming symplectic forms on X, resp. ...
متن کامل